Самая большая электронная библиотека рунета. Поиск книг и журналов

Operational semantics and verification of security protocols

Автор: , Автор:
Категория: Computer Science
Размер книги: 3.04 Mb